From 502744be8557e67166020ce864b8115c02d17c0d Mon Sep 17 00:00:00 2001 From: Paolo Borelli Date: Sun, 28 Feb 2016 15:11:45 +0100 Subject: [PATCH] quartz: get the core pointer from the device manager https://bugzilla.gnome.org/show_bug.cgi?id=762820 --- gdk/quartz/gdkdisplay-quartz.c | 18 +----------------- 1 file changed, 1 insertion(+), 17 deletions(-) diff --git a/gdk/quartz/gdkdisplay-quartz.c b/gdk/quartz/gdkdisplay-quartz.c index 6b4afc8743..62e1d6595a 100644 --- a/gdk/quartz/gdkdisplay-quartz.c +++ b/gdk/quartz/gdkdisplay-quartz.c @@ -86,26 +86,10 @@ gdk_quartz_display_init_input (GdkDisplay *display) g_list_free (list); - /* Now set "core" pointer to the first master device that is a pointer. */ - list = gdk_device_manager_list_devices (device_manager, - GDK_DEVICE_TYPE_MASTER); - - for (l = list; l; l = l->next) - { - GdkDevice *device = l->data; - - if (gdk_device_get_source (device) != GDK_SOURCE_MOUSE) - continue; - - display->core_pointer = device; - break; - } - /* Add the core pointer to the devices list */ + display->core_pointer = GDK_QUARTZ_DEVICE_MANAGER_CORE (device_manager)->core_pointer; display_quartz->input_devices = g_list_prepend (display_quartz->input_devices, g_object_ref (display->core_pointer)); - - g_list_free (list); } GdkDisplay * -- 2.30.2